<TITLE>CSPLib: related benchmark libraries</TITLE>
<HR><!------------------------------------------------------------------------>
<CENTER>
<SMALL>
The CSPLib site is mirrored in
<A HREF="http://www.csplib.org/">England</A> and the
<A HREF="http://www.cs.cornell.edu/home/selman/csplib/"> United States</A>
</SMALL>
</CENTER>
<HR><!------------------------------------------------------------------------>
<CENTER>
<H1>CSPLib: a problem library for constraints</H1>

<TABLE>
<TR> <TD> maintained by
     <TD ALIGN=LEFT> <A HREF="http://www.dcs.st-and.ac.uk/~ipg/">
          <B>Ian P. Gent</B></A>
          <ADDRESS><a href="mailto:ipg@dcs.st-and.ac.uk">
          ipg@dcs.st-and.ac.uk</a></ADDRESS>
     <TD> and     
     <TD ALIGN=LEFT> <A HREF="http://www.cs.york.ac.uk/~tw/">
          <B>Toby Walsh</B></A> 
          <ADDRESS><a href="mailto:tw@cs.york.ac.uk">
          tw@cs.york.ac.uk</a></ADDRESS>
<TR>
<TD>
with help from
     <TD ALIGN=LEFT> <A HREF="http://simon.cs.cornell.edu/home/selman/">
          <B>Bart Selman</B></A>
          <ADDRESS><a href="mailto:selman@cs.cornell.edu">
          selman@cs.cornell.edu</a></ADDRESS>

</TABLE>
</CENTER>
<HR><!------------------------------------------------------------------------>
<P>
<H1>Related benchmark libraries</H1>

<UL>


<LI> 
<A HREF="ftp://dimacs.rutgers.edu/pub/challenge/">
DIMACS challenge</A> benchmarks in
<A HREF="ftp://dimacs.rutgers.edu/pub/challenge/graph/benchmarks/color/">
graph colouring</A>,
<A HREF="ftp://dimacs.rutgers.edu/pub/challenge/graph/benchmarks/clique/">
clique finding</A>,
and <A HREF="ftp://dimacs.rutgers.edu/pub/challenge/satisfiability/benchmarks/cnf/">
satisfiability</A>.

<LI>  <A HREF="http://www.ps.uni-sb.de/~walser/benchmarks/benchmarks.html">
Linear 0-1</A> benchmarks (including 
tournament sceduling and radar surveillance
 problems)

<LI>  <A HREF="http://www.caam.rice.edu/~bixby/miplib/miplib.html">
MIPLIB</A>, a benchmark library of mixed integer
programming problems (including scheduling and
routing problems)

<LI>  <A HREF="ftp://ftp.zib.de/pub/Packages/mp-testdata/index.html">
MP-TESTDATA</A>, a benchmark library of Mathematical
Programming problems (including routing and traveling salesperson problems)

<LI>  <A HREF="http://www.ms.ic.ac.uk/info.html">
ORLIB</A>, a library of benchmark problems from
Operations Research (including scheduling and frequency assignment problems)

<LI>  <A HREF="http://www.bwl.uni-kiel.de/bwlinstitute/Prod/psplib/index.html">
PSPLIB</A>, a library of benchmark problems for
project scheduling

<LI>  <A HREF="http://aida.intellektik.informatik.tu-darmstadt.de/~hoos/SATLIB/">
SATLIB</A>, a benchmark library of satisfiability
problems, mirrored <a href="http://www.cs.ubc.ca/~hoos/SATLIB">in North
America</a>

<LI>  <A HREF="http://www.cs.jcu.edu.au/~tptp/index.html">
TPTP</A>, a benchmark library for theorem proving

<LI>  <A HREF="ftp://ftp.zib.de/pub/Packages/mp-testdata/tsp/tsplib/tsplib.html">
TSPLIB</A>, a library of traveling salesperson and
Hamiltonian circuit problems 

<P>


</HR>

</UL>
<HR><!------------------------------------------------------------------------>

<UL>

 <A HREF="index.html"> Back</A> to CSPLib home page.





